Tightly Secure Public-Key Cryptographic Schemes from One-More Assumptions

Journal of Computer Science and Technology - A tightly secure cryptographic scheme refers to a construction with a tight security reduction to a hardness assumption, where the reduction loss is a...     

标准模型下完美前向安全的基于身份认证密钥交换

一轮Diffie-Hellman密钥交换(One-Round Diff ie-Hellman key exchange,OR-DHKE)协议被认为无法实现完美的前向安全性(Perfect Forward Secrecy,PFS)。基于身份的OR-DHKE协议也是如此,现有研究仅实现了弱的完美 前向安全性(wPFS)。基于Cremers等人对密钥交换协议完美前向安全性的研究,文章提出 一种新的具有完美前向安全的基于身份认证密钥交换方案。文章首先提出一种较弱安全性的 基于身份 OR-DHKE协议π₀,然后采用Cremers等人提出的SIG变换方法,将π₀转化为具有完美前 向安全的基于身份认 证密钥交换方案π₁。文章简要分析了CK、CK⁺、eCK和eCK-PFS安全模型的异同,在此 基 础上定义了基于身 份认证密钥交换协议分析的强安全模型ID-eCK-PFS。在ID-eCK-PFS模型下,协议π₀和π₁的安全性被规约为 求解判定性BDH(Decisional Bilinear Diffie-Hellman,DBDH)问题,规约过程未使用随 机预言机,实现了在标准模型下的完美前向安全性和可证明安全性。     

Existence result for fractional Schrödinger–Poisson systems involving a Bessel operator without Ambrosetti–Rabinowitz condition

The present study is concerned with the nontrivial solutions for fractional Schrödinger–Poisson system with the Bessel operator. Under certain assumptions on the nonlinearity $f$, a nontrivial nonnegative solution is obtained by perturbation method for the given problem. In particular, the Ambrosetti–Rabinowitz type condition or the monotone assumption on the nonlinearity is unnecessary.     

基于域相关性与流形约束的多源域迁移学习分类算法

传统机器学习要求训练样本和测试样本具有相同分布的假设在实际应用中难以满足,为解决这种问题,迁移学习的研究近年来逐渐兴起。然而,如果源域与目标域的相关性较小,粗暴式地强制性迁移不仅不能促进目标域学习,甚至会降低学习性能,即“负迁移”问题。为此,本文提出了一种基于多重相似性的多源域迁移学习方法。该方法首先从“域-域”和“样本-域”两个层面来更加准确地衡量目标域与多个源域的相关性,然后根据目标域分类器与相关源域分类器对目标域无标记样本具有相似决策值的平滑性流形假设,实现源域知识向目标域迁移的目的。该方法不仅能够从多个不同源域中挖掘更多的知识用于目标域学习,而且能够根据域间相似性有选择地进行迁移,可以有效地避免“负迁移”问题。在公共数据集上的实验结果表明所提出的迁移学习方法具有更好的性能。     

Cryptanalysis of an identity‐based authenticated key exchange protocol

Authenticated key exchange protocols represent an important cryptographic mechanism that enables several parties to communicate securely over an open network. Elashry, Mu, and Susilo proposed an identity‐based authenticated key exchange (IBAKE) protocol where different parties establish secure communication by means of their public identities.The authors also introduced a new security notion for IBAKE protocols called resiliency, that is, if the secret shared key is compromised, the entities can generate another shared secret key without establishing a new session between them. They then claimed that their IBAKE protocol satisfies this security notion. We analyze the security of their protocol and prove that it has a major security flaw, which renders it insecure against an impersonation attack. We also disprove the resiliency property of their scheme by proposing an attack where an adversary can compute any shared secret key if just one secret bit is leaked.     

Evaluation of some assumptions used in multizone airflow network models

Multizone airflow network models assume that in a zone air temperature and contaminant concentrations are uniform, and air momentum effects are neglected. These assumptions could cause errors for airflow with strong buoyancy, large contaminant concentration gradient, or strong momentum. This study has found the correlations of the errors and some dimensionless air parameters. The assumption of uniform air temperature is acceptable when the dimensionless temperature gradient is smaller than 0.03. The assumption of uniform contaminant concentration is valid if the corresponding Archimedes number for the source zone is greater than 400. The assumption of neglecting air momentum effect is reasonable when the jet momentum effect is dissipated before reaching an opening in downstream.     

一种边坡稳定分析的新方法

结合有限单元法和极限平衡法,提出了一种边坡稳定计算的新方法,介绍了该方法的基本理论和公式推导。与边坡稳定经典计算方法的不同在于,不需要对条间力等条件进行人为简化和假定,且严格满足所有的平衡条件。数值算例分析表明了该方法的正确性和有效性,适用范围广,且计算公式相对简单,易于编程,收敛速度快。     

SATWE程序中不同楼板模型对比和设计建议

对一规则平面高层结构采用SATWE程序中不同楼板假定模型进行了结构分析。结果表明,采用刚性楼板假定时,现浇楼板对梁刚度的增大不宜估计过高。楼板平面有限元分析表明,在楼板配筋时,框架梁处板顶负筋宜适当加大,普通楼面梁处板顶负筋宜适当减小。     

钢-竹组合柱轴心受压性能的试验研究

该次试验共制作了3根组合柱,均由结构胶粘剂粘合冷弯薄壁C型钢和竹胶合板而成。对试件施加轴向压力,观察分析试件受力后的变形、破坏形态,探究其破坏机理,并提出极限承载力的建议计算公式。对试件上端作不同处理,考虑工艺误差对试件承载力的影响。研究结果表明:1)组合柱在轴心受压过程中薄壁型钢和竹胶合板的变形基本一致,即符合平截面假设,试件整体受力性能良好;2)在受力全过程中,试件呈理想弹塑性,但塑性强化作用并不明显,偏于安全,不考虑塑性强化对承载力的贡献;3)试件破坏时,出现竹胶合板的局部腰鼓状凸曲现象且内部钢板达到屈服;4)制作工艺误差对组合柱的承载力影响较大。     

Radon变换去噪方法的保幅性理论分析

本文在对比常规抛物线Radon变换、最小二乘抛物线Radon变换和高分辨率抛物线Radon变换的保幅性的基础上,重点分析了影响高分辨率抛物线Radon变换去噪方法保幅性的各种因素,认为对于最小二乘Ra-don变换和高分辨率Radon变换而言,信号在变换域中的分辨率都依赖于信号模型的"标准同相轴"假设,地震数据处理中各种实际因素导致信号同相轴偏离该假设,进而导致分辨率降低,影响Radon变换去噪方法的保幅能力。文中给出了波场分解类去噪方法的保幅性理论分析思路以及评价标准,然后以Radon变换去除多次波为例,具体分析了Radon变换的各种实现方式对信号的操作过程,并进行了保幅性理论评价。理论分析以及数值试验结果表明:常规Radon变换不满足保幅性处理的要求;最小二乘Radon变换算子满足保幅性要求,但变换域中信号分辨率仍然有待提高;逼近"标准同相轴"假设条件时,高分辨率Radon变换去噪方法在一定精度范围内可以认为是保幅的。